-
1 терм произведения
Большой англо-русский и русско-английский словарь > терм произведения
-
2 терм произведения
Англо-русский словарь технических терминов > терм произведения
-
3 product term
-
4 product term
1) Техника: терм произведения2) Вычислительная техника: конъюнктивный член, логический терм И, произведение, терм логического произведения, терм произведения (символ, входящий в конъюнкцию)3) Программирование: терм конъюнкции -
5 product term
Большой англо-русский и русско-английский словарь > product term
-
6 product term
1) конъюнктивный член, произведение2) терм произведения (символ, входящий в конъюнкцию)English-Russian dictionary of computer science and programming > product term
-
7 product term
конъюнктивный член; произведение; терм произведения -
8 product term
логический терм И; терм логического произведения; произведение; конъюнктивный член -
9 product term
1) член произведения; сомножитель
См. также в других словарях:
Италия — I Италия (Italia) Итальянская Республика (La Repubblica Italiana). I. Общие сведения И. государство на юге Европы в центральной части Средиземноморья. Берега И. омываются морями: на З. Лигурийским и Тирренским, на Ю.… … Большая советская энциклопедия
Италия — I Италия (Italia) Итальянская Республика (La Repubblica Italiana). I. Общие сведения И. государство на юге Европы в центральной части Средиземноморья. Берега И. омываются морями: на З. Лигурийским и Тирренским, на Ю.… … Большая советская энциклопедия
Рим — столица Италии. Город находится на р. Тибр, древнейшее название которой Румо или Румон послужило основой для образования названия Рим (итал. Roma). Предполагается, что название реки связано с наименованием одного из племен этрусков древнего… … Географическая энциклопедия
АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… … Математическая энциклопедия
Coq — (фр. coq петух) интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… … Википедия
Изобразительное искусство Армении — … Википедия
Кухня Древнего Рима — «Розы Гелиогабала». Картина, иллюстрирующая рассказ «Истории августов» … Википедия
Термы Каракаллы — Термы Каракаллы (лат. Thermae Antoninianae, итал. Terme di Caracalla) … Википедия
Соответствие Карри — Соответствие Карри Ховарда (изоморфизм Карри Ховарда, англ. formulae as types interpretation) наблюдаемая структурная эквивалентность между математическими доказательствами и программами. Эта эквивалентность может быть… … Википедия
Римское искусство* — Римляне, отличавшиеся большим практическим смыслом в решении задач материальной жизни, умевшие создать у себя стройный склад гражданственности, утвердить свою военную силу и широко распространить свое политическое могущество, были лишь в слабой… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Чертоза — так называются в Италии довольно многочисленные монастыри, основанные иноками картезианского ордена (см.) и построенные для последних. Некоторые из этих монастырей представляют собой замечательные памятники архитектуры и содержат в себе… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона